package DataView;
import Store.Type;

public class StateObserverInfo extends ElementInfo {
	private Type type;
	private Expr inv;
	public void setInfo(String text, Type t, Expr exp) 
	{
		super.setInfo(text);
		this.type=t;
		inv=exp;
		
	}
	public Expr getInv() 
	{
		return inv;
	}
	public Type getType() 
	{
		return type;
	}
}